/**
 * 
 */
package kodkod.analysis;

import edu.mit.csail.sdg.alloy4whole.AlloyBenchmark;

/**
 * @author Markus Iser
 *
 */
public interface OrderableSolver {
	public void heapIncreaseVar(int id, double weight);
	public void heapIncreaseVar2(int id, int weight);
	
	public void suggestPolarity(int id, boolean pol, int hard);
	
	public void turnOnRandomVarPicking();
	public void turnOffRandomVarPicking();
	
	public void turnOnRestarts();
	public void turnOffRestarts();
	
	public int getNumberOfConflicts();
}
